<?php




class PhpFaces_Context_ExternalContext {
	public $response;
	
	public function getResponse() {
		if( $this->response == null ) {
			$this->response = new PhpFaces_Lang_HttpResponse();
		}
		return $this->response;
	}	
}

class PhpFaces_Lang_HttpRequest {
	
}

class PhpFaces_Lang_HttpResponse {
	private $outputStream;
	public function getOutputStream() {
		if( $this->outputStream == null || !is_resource($this->outputStream) ) {
			$this->outputStream = fopen( "php://stdout", "w" );
		}
		return $this->outputStream;
	}
}

?>